monotonically decreasing functions are integrable